- PETROCIA vulgo PEIRUSSE
- PETROCIA, vulgo PEIRUSSEvetustissimum castrum Arverniae superioris, bellô contra Waifarium, Aquitanorum Ducem a Pipino Francorum Rege captum. Egin hardus Annal. An. 767.
Hofmann J. Lexicon universale. 1698.
Hofmann J. Lexicon universale. 1698.